Mathematical Institute - PDFSEARCH.IO - Document Search Engine

Mathematical Institute
Results: 2914

#	Item
791	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
792	PHYSICAL REVIEW E 68, 041113 共2003兲 Local density fluctuations, hyperuniformity, and order metrics Salvatore Torquato Department of Chemistry and Princeton Materials Institute, Princeton University, Princeton, New J Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2008-12-08 18:19:59 Fourier analysis Probability and statistics Data analysis Time series analysis Autocovariance Covariance Fourier transform Variance Radial distribution function Statistics Mathematical analysis Covariance and correlation
793	Chaos and multiple mode spatio-temporal complexity in thermo-visco-elastic systems subject to laser irradiation O. Gottlieb and E. Hollander Department of Mechanical Engineering, Technion - Israel Institute of Technology Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2015-05-19 15:49:12 Structure Limit-cycle Hopf bifurcation Chaos theory Dynamical system Bifurcation diagram Oscillation Laser Nonlinear system Bifurcation theory Physics Mathematical analysis
794	An Institute of Physics report \| JulyMind the Gap Mathematics and the transition from A-levels to physics and engineering degrees Appendix to the report prepared for the Institute of Physics by EdComs – full met Add to Reading List Source URL: www.iop.org Language: English - Date: 2015-04-07 09:35:04 Classe préparatoire aux grandes écoles Differential equation Pakistani Muslims Engineering Pakistani people MIT Physics Department Cambridge Mathematical Tripos Mathematics Institute of Physics Physics
795	Earth Planets Space, 65, 1411–1423, 2013 Dynamic tsunami generation due to sea-bottom deformation: Analytical representation based on linear potential theory Tatsuhiko Saito National Research Institute for Earth Scien Add to Reading List Source URL: www.terrapub.co.jp Language: English - Date: 2013-12-05 20:48:47 Physical oceanography Physics Exponentials Hyperbolic function Hyperbolic geometry Wave Tsunami Water waves Mathematical analysis Mathematics
796	TATIANA TORO CURRICULUM VITAE EDUCATION Ph.D.: Stanford UniversityAdvisor: Leon Simon PROFESSIONAL EXPERIENCE Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2015-03-02 23:53:08 Leon Simon Geometric measure theory Doubling measure Harmonic measure Mathematical Sciences Research Institute Differential geometry Potential theory Measure Mathematical analysis Partial differential equations Fellows of the Royal Society
797	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoMarch 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:35 Linear Graph Nonlinear system Mathematical optimization Regression analysis Linear programming Mathematics Operations research Elementary algebra
798	Research Reports on Mathematical and Computing Sciences Series B : Operations Research Department of Mathematical and Computing Sciences Tokyo Institute of TechnologyOh-Okayama, Meguro-ku, TokyoJapan Add to Reading List Source URL: www.is.titech.ac.jp Language: English - Date: 2003-01-09 20:35:42 Abstract algebra Algebraic topology Homotopy System of polynomial equations CW complex Linear programming Polynomial Homotopy principle Topology Mathematics Homotopy theory
799	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
800	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus

UPDATE